فناوری های معدنکاری؛ از عصر بیل و کلنگ تا سنسور و رادار